Works matching IS 14332779 AND DT 2018 AND VI 20 AND IP 5
Results: 7
On-the-fly model checking for extended action-based probabilistic operators.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 5, p. 563, doi. 10.1007/s10009-018-0499-0
- By:
- Publication type:
- Article
A case study of planning for smart factories.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 5, p. 515, doi. 10.1007/s10009-018-0498-1
- By:
- Publication type:
- Article
Fair testing and stubborn sets.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 5, p. 589, doi. 10.1007/s10009-017-0481-2
- By:
- Publication type:
- Article
Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 5, p. 547, doi. 10.1007/s10009-017-0480-3
- By:
- Publication type:
- Article
Integrating river basin DSSs with model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 5, p. 499, doi. 10.1007/s10009-017-0478-x
- By:
- Publication type:
- Article
Model checking: recent improvements and applications.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 5, p. 493, doi. 10.1007/s10009-018-0501-x
- By:
- Publication type:
- Article
Discrete and continuous strategies for timed-arc Petri net games.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 5, p. 529, doi. 10.1007/s10009-017-0473-2
- By:
- Publication type:
- Article