Search Sciweavers | Sciweavers

7820 search results - page 32 / 1564

» Formalization of Time and Space

click to vote

FDL
2003
IEEE

101views Natural Language Processing» more FDL 2003»

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

14 years 1 months ago

Download www.c-lab.de

Alexander Krupp, Wolfgang Müller 0003

claim paper

Read More »

click to vote

ASYNC
2000
IEEE

94views Hardware» more ASYNC 2000»

Formal Verification of Safety Properties in Timed Circuits

14 years 28 days 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

14 years 8 days ago

Download www.cs.tsukuba.ac.jp

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

claim paper

Read More »

click to vote

APSEC
2001
IEEE

111views Software Engineering» more APSEC 2001»

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

14 years 5 days 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

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers