3765 search results - page 126 / 753 » Formal Methods for Systems Engineering Behavior Models |
109
Voted
SERP
2003
15 years 3 months ago
2003
System reliability has become an increasingly important benchmark in measuring service continuity. As part of many service level agreements, system performance is gauged by how lo...
116
Voted
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
Business domain ontologies offer great opportunities for facilitating communication between people in business, for improving the enterprise system engineering processes and for cr...
116
Voted
SIMUTOOLS
2008
15 years 4 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
125
Voted
ISCIS
2004
Springer
15 years 8 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
137
click to vote
FTRTFT
1998
Springer
15 years 6 months ago
1998
Springer
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...