Search results for: Kaisa Sere
Lecture Notes in Computer Science > Grid and Cooperative Computing - GCC 2004 > Session 6: P2P Computing and Automatic Computing > 527-534
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Fault-Tolerance and Security > 639-659
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The DEPLOY Project > 102-118
Lecture Notes in Computer Science > FM’99 — Formal Methods > Safety > 1564-1583
Lecture Notes in Computer Science > Field-Programmable Logic and Applications From FPGAs to Computing Paradigm > 451-455
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Formal Methods and Security (Poster Session) > 350-360
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Science of Computer Programming > 2014 > 80 > Part A > 25-49
Formal Aspects of Computing > 2014 > 26 > 2 > 281-303