4460 search results - page 33 / 892 » Formal methods for interactive systems |
FM
2008
Springer
13 years 9 months ago
2008
Springer
Modal
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
CADE
1992
Springer
13 years 11 months ago
1992
Springer
In the "little theories" version of the axiomatic method, different portions of mathematics are developed in various different formal axiomatic theories. Axiomatic theor...
BIBE
2006
IEEE
14 years 1 months ago
2006
IEEE
— Biological networks are formalized summaries of our knowledge about interactions among biological system components, like genes, proteins, or metabolites. From their global top...