Sortiert nach
Algebra and Coalgebra in Computer Science, p.40-54
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, p.97-114
Link zum Volltext
Formal Methods: Foundations and Applications, p.3-21
Link zum Volltext
Integrated Formal Methods, p.276-294
Link zum Volltext
SIGBED review, 2016-04, Vol.13 (2), p.34-42
2016
Link zum Volltext
Formal Methods: Foundations and Applications, p.119-136
Link zum Volltext
Formal Methods: Foundations and Applications, 2018, Vol.11254, p.215-233
2018
Link zum Volltext
Integrated Formal Methods, p.168-187
Link zum Volltext
Formal Methods: Foundations and Applications, 2021, Vol.13130, p.122-139
2021
Link zum Volltext
Formal Methods: Foundations and Applications, p.33-51
Link zum Volltext
Functional and Logic Programming, 2012, p.243-259
2012
Link zum Volltext
SIGBED review, 2011-06, Vol.8 (2), p.31-34
2011
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, p.136-154
Link zum Volltext
Language and Automata Theory and Applications, p.536-548
Link zum Volltext
2011
- Link zum Volltext
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018, p.71-80
2018
Link zum Volltext
Logic-Based Program Synthesis and Transformation, 2014, p.164-182
2014
Link zum Volltext
Trustworthy Global Computing, p.119-135
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Theory & Methods
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Logic Programming
- Operational Semantic
- Computing Methodologies
- Logic Program
- Theory Of Computation
- Timed Automata
- Approach Signal
- Computer Systems Organization
- Computer Systems Organization -- Dependable And Fault-Tolerant Systems And Networks -- Redundancy
- Computer Systems Organization -- Embedded And Cyber-Physical Systems -- Embedded Systems
- Computer Systems Organization -- Embedded And Cyber-Physical Systems -- Robotics
- Computing Methodologies -- Artificial Intelligence
- Computing Methodologies -- Artificial Intelligence -- Knowledge Representation And Reasoning
- Computing Methodologies / Artificial Intelligence
- Computing Methodologies / Artificial Intelligence / Knowledge Representation And Reasoning
Kollektion
Zeitschrift / Serie
Neu hinzugefügt