DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Kaisa Sere
Kaisa Sere
Du Genie Logiciel Pour Deployer, Gerer Et Reconfigurer Les Logiciels Fabien Dagnat
Lecture Notes in Computer Science 5014 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan Van Leeuwen
Formal Model-Based Development of Network-On-Chip Systems
August 2014 FACS a C T S
Kaisa Sere: in Memoriam
Computer Science Aalborg University Advisor: Prof
Towards Scalable Modeling of Biology in Event-B 3
B5 EKOSKIVAARA Pmaanantai
Model-Driven Software Development
About the Contributors
Stepwise Refinement of Heap-Manipulating Code in Chalice
Workshop on Software Engineering Challenges for Ubiquitous Computing
FM2009 Is the Sixteenth Symposium in a Series of the Formal Methods Europe Association
INTERCONNECT-CENTRIC DESIGN for ADVANCED SOC and NOC Interconnect-Centric Design for Advanced Soc and Noc
Curriculum Vitae
Detailed Table of Contents
Thèse : Marie-Pierre Gleizes, Ahmed Hadj Kacem Et Frédéric Migeon Rapporteurs : Leila Jemni Ben Ayed Et Abderrafiaa Koukam
Annual Report 2002 Teknillisen Korkeakoulun Tietojenka¨Sittelyteorian Laboratorion Vuosiraportti 2002 Espoo 2003 HUT-TCS-Y2002
Top View
Full List of Publications, March 20
Luigia Petre's Publications
Formal Methods Europe Minutes of the 44Th Meeting Held at Åbo Akademi University, Turku, Finland 30 May 2007
Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Organization
Mathematics of Program Construction
Stepwise Development of Peer-To-Peer Systems
Teaching Mathematics and Programming
Detailed Table of Contents
Description of the Initiative