Search results for: Franz J. Rammig
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part V: Verification > 451-473
Lecture Notes in Computer Science > Software Technologies for Embedded and Ubiquitous Systems > Self-organization and Reconfiguration > 319-328
Lecture Notes in Computer Science > Software Technologies for Embedded and Ubiquitous Systems > 131-143
Lecture Notes in Computer Science > Software Technologies for Embedded and Ubiquitous Systems > Applications > 245-255
Lecture Notes in Computer Science > Parallel Processing and Applied Mathematics > Workshop on Language-Based Parallel Programming Models > 1034-1041
IFIP — The International Federation for Information Processing
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Dynamically Reconfigurable Systems > Design Methods and Tools—Optimization and Runtime Systems > 183-198
IFIP — The International Federation for Information Processing > Distributed, Parallel and Biologically Inspired Systems > Biologically-Inspired Collaborative Computing (BICC 2010) > 219-219
IFIP — The International Federation for Information Processing > Distributed, Parallel and Biologically Inspired Systems > Verification and Validation > 102-113
IFIP — The International Federation for Information Processing
IFIP — The International Federation for Information Processing
IEEE Transactions on Industrial Informatics > 2013 > 9 > 4 > 2373 - 2386