Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
18
Mathematical models
15
Software engineering
12
Model checking
10
Timed automata
10
Algorithms
9
Real time systems
9
Semantics
9
Behaviour models
8
Specifications
8
Timed Automata
8
Computer software
7
Distributed computer systems
7
Program processors
7
Set theory
6
Controller synthesis
5
Distributed timed model checking
5
Modal Transition Systems
5
Reachability
5
Specification languages
5
ZEUS
5
Computer architecture
4
Computer programming languages
4
Controllers
4
Data storage equipment
4
Data structures
4
Formal logic
4
Iterative methods
4
KRONOS
4
Kronos
4
-
1Materias: “...Behaviour models...”
SER -
2Materias: “...Partial behaviour models...”
CONF -
3Materias: “...Behaviour models...”
JOUR -
4por Castano, R., Braberman, V., Garbervetsky, D., Uchitel, S., Nguyen T.N., Rosu G., Di Penta M., College of Engineering; Denso; et al.; Microsoft; NASA; University of Minnesota, Software EngineeringMaterias: “...Model checker...”
CONF -
5Materias: “...partial behavior models...”
JOUR -
6Materias: “...Mathematical models...”
Artículo publishedVersion -
7Materias: “...Mathematical models...”
Artículo publishedVersion -
8
-
9por D'Ippolito, N., Braberman, V., Kramer, J., Magee, J., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT); IEEE Computer Society's Tech. Council on Software Engin. (TCSE)Materias: “...Architecture models...”
CONF -
10Materias: “...Model checking tools...”
CONF -
11Materias: “...Model checking...”
JOUR -
12por Uchitel, S., Alrajeh, D., Ben-David, S., Braberman, V., Chechik, M., De Caso, G., D'Ippolito, N., Fischbein, D., Garbervetsky, D., Kramer, J., Russo, A., Sibay, G.Materias: “...Partial behaviour modelling...”
JOUR -
13Materias: “...Behaviour models...”
SER -
14Materias: “...behaviour model synthesis...”
CONF -
15Materias: “...Mathematical models...”
Artículo publishedVersion -
16Materias: “...Mathematical models...”
Artículo publishedVersion -
17Materias: “...Mathematical models...”
JOUR -
18Materias: “...Behaviour models...”
CONF -
19por Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A.Materias: “...Timed model checking...”
CONF -
20Materias: “...Behavioral modeling...”
JOUR