Skip to main content
main-content

Zeitschrift

Programming and Computer Software

Programming and Computer Software 4/2016

Ausgabe 4/2016

Inhaltsverzeichnis ( 6 Artikel )

01.07.2016 | Ausgabe 4/2016

“Truly concurrent” and nondeterministic semantics of discrete-time Petri nets

I. B. Virbitskaite, V. A. Borovlev, L. Popova-Zeugmann

01.07.2016 | Ausgabe 4/2016

Comparison of specification decomposition methods in Event-B

P. N. Devyanin, V. V. Kulyamin, A. K. Petrenko, A. V. Khoroshilov, I. V. Shchepetkov

01.07.2016 | Ausgabe 4/2016

Conflict resolution in multi-agent systems with typed relations for ontology population

N. O. Garanina, E. A. Sidorova, I. S. Anureev

01.07.2016 | Ausgabe 4/2016

On fuzzy repetitions detection in documentation reuse

D. V. Luciv, D. V. Koznov, H. A. Basit, A. N. Terekhov

01.07.2016 | Ausgabe 4/2016

Checking several requirements at once by CEGAR

V. O. Mordan, V. S. Mutilin

01.07.2016 | Ausgabe 4/2016

Program schemata technique for propositional program logics: A 30-year history

N. V. Shilov, S. O. Shilova, A. Yu. Bernshtein

Aktuelle Ausgaben

Premium Partner

    Bildnachweise