1
av International Conference of Tools and Algorithms for the Construction and Analysis of Systems, Abdulla, Parosh Aziz., Leino, K. Rustan M.
Publicerad 2011.
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26...”Publicerad 2011.
Hämta fulltext
Livro
2
“... information systems - Defining adaptation constraints for business process variants - Process analysis...”
Hämta fulltext
Hämta fulltext
Livro
3
Analysis, architectures and modelling of embedded systems Third IFIP TC 10 International Embedded...
av IFIP TC10 Working Conference: International Embedded Systems Symposium, Rettberg, Achim
Publicerad 2009.
“... code generation tools - A configurable TLM of wireless sensor networks for fast exploration of system...”Publicerad 2009.
Hämta fulltext
Livro
4
New results in dependability and computer systems proceedings of the 8th international conference...
av International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, Zamojski, Wojciech
Publicerad c2013
“...Advances in intelligent systems and computing...”Publicerad c2013
Hämta fulltext
Livro
5
av International Conference on Web Information Systems and Technologies, Cordeiro, José, Filipe, Joaquim
Publicerad 2010.
“... analysis of algorithm visualization use during collaborative learning - Modelling the B2C marketplace...”Publicerad 2010.
Hämta fulltext
Livro
6
I publikationen Lecture Notes in Computer Science
(2023)
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European...”Hämta fulltext
Livro
7
I publikationen Lecture Notes in Computer Science
(2023)
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European...”Hämta fulltext
Livro
8
I publikationen Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2020)
Ämnen:
“...system construction and transformation techniques...”Hämta fulltext
Livro
9
I publikationen Lecture Notes in Computer Science
(2019)
Ämnen:
“...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis...”Hämta fulltext
Livro
10
I publikationen Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2020)
Ämnen:
“...system construction and transformation techniques...”Hämta fulltext
Livro
11
I publikationen Lecture Notes in Computer Science
(2019)
Ämnen:
“...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis...”Hämta fulltext
Livro
12
I publikationen Lecture Notes in Computer Science
(2019)
Ämnen:
“...Algorithms...”Hämta fulltext
Livro
13
I publikationen Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
Ämnen:
“...system construction and transforamtion techniques...”Hämta fulltext
Livro
14
I publikationen Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
Ämnen:
“...Computer Systems Organization and Communication Networks...”Hämta fulltext
Livro
15
I publikationen Lecture Notes in Computer Science
(2022)
Ämnen:
“...system construction and transformation techniques...”Hämta fulltext
Livro
16
I publikationen Lecture Notes in Computer Science
(2022)
Ämnen:
“...system construction and transformation techniques...”Hämta fulltext
Livro
17
I publikationen Lecture Notes in Computer Science
(2025)
Ämnen:
“...software systems...”Hämta fulltext
Livro
18
I publikationen Lecture Notes in Computer Science
(2025)
Ämnen:
“...software systems...”Hämta fulltext
Livro
19
I publikationen Lecture Notes in Computer Science
(2025)
Ämnen:
“...software systems...”Hämta fulltext
Livro
20
I publikationen Lecture Notes in Computer Science
(2024)
Ämnen:
“...software systems...”Hämta fulltext
Livro