Search Sciweavers | Sciweavers

7820 search results - page 32 / 1564

» Formalization of Time and Space

116

Voted

FDL
2003
IEEE

101views Natural Language Processing» more FDL 2003»

Combining Formal Refinement and Model Checking for Real-Time Systems Verification

15 years 9 months ago

Download www.c-lab.de

Alexander Krupp, Wolfgang Müller 0003

claim paper

Read More »

115

click to vote

ASYNC
2000
IEEE

94views Hardware» more ASYNC 2000»

Formal Verification of Safety Properties in Timed Circuits

15 years 8 months ago

Download personals.ac.upc.edu

Marco A. Peña, Jordi Cortadella, Enric Past...

claim paper

Read More »

click to vote

AISC
2006
Springer

66views Artificial Intelligence» more AISC 2006»

Labeled @-Calculus: Formalism for Time-Concerned Human Factors

15 years 8 months ago

Download www.cs.tsukuba.ac.jp

Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, ...

claim paper

Read More »

105

Voted

APSEC
2001
IEEE

111views Software Engineering» more APSEC 2001»

Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks

15 years 7 months ago

Download embedded.cs.ccu.edu.tw

Pao-Ann Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Mi...

claim paper

Read More »

click to vote

CN
2008

72views more CN 2008»

Formal testing from timed finite state machines

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers