Results 251 to 260 of about 1,525,492 (301)

INTER-PROB

Critical Care Medicine, 2015
Melissa Shears, France Clarke, Peter Dodek, Jackie O’Brien, Laurie Meade, Denise Foster, Orla Smith, Sangeeta Mehta   +7 more
openaire   +1 more source

Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems

Lecture Notes in Computer Science, 2023
Kristin Rutenkolk
exaly  

Prob. 281

The Analyst, 1880
De Volson Wood, J. E. Hendricks
openaire   +1 more source

probative, adj.

2023
openaire   +1 more source

prob., adv.

2023
openaire   +1 more source

Prob. 89

The Analyst, 1876
openaire   +1 more source

ProB2-UI: A Java-Based User Interface for ProB

Lecture Notes in Computer Science, 2021
Jens Bendisposto, Michael Leuschel, Fabian Vu   +2 more
exaly  

Prob. 357

The Analyst, 1882
openaire   +1 more source

Integrating formal specifications into applications: the ProB Java API

Formal Methods in System Design, 2020
Philipp Körner, Jens Bendisposto, Jannik Dunkelau   +2 more
exaly  

Solution of Prob. 397

The Analyst, 1882
J. M. Rice, H. T. Eddy, Asaph Hall
openaire   +1 more source