4460 search results - page 33 / 892 » Formal methods for interactive systems |
88
Voted
FM
2008
Springer
15 years 4 months ago
2008
Springer
Modal
88
Voted
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
119
Voted
ISOLA
2010
Springer
15 years 20 days ago
2010
Springer
116
Voted
CADE
1992
Springer
15 years 6 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...
120
Voted
BIBE
2006
IEEE
15 years 8 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...