112 search results - page 8 / 23 » Formalization of fFSM Model and Its Verification |
RE
2008
Springer
14 years 11 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
137
click to vote
ASIAN
2009
Springer
15 years 24 days ago
2009
Springer
In cryptographic protocols, zero knowledge proofs are employed for a principal A to communicate some non-trivial information t to B while at the same time ensuring that B cannot de...
CHARME
2003
Springer
15 years 3 months ago
2003
Springer
Industrial verification teams are actively developing suitable event sequence languages for hardware verification. Such languages must be expressive, designer friendly, and hardwar...
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
A new, formal, role-based, framework for modeling and analyzing both real world and artificial organizations is introduced. It exploits static and dynamic properties of the organiz...
APSEC
2008
IEEE
15 years 1 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...