set-sizing-for-counter-models
0Citations signalées — pas une note de qualité
1Institutions déclarées
1Pays d’affiliation déclarés
Résumé fourni par la source
When possible, takes in an abstract B language machine as a POG file and returns another POG file wherein abstract sets have been replaced with concrete sets.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Contrôle bibliographique ouvert
Aucun DOI disponible pour le contrôle Crossref.
Institutions déclarées
Une affiliation ne permet pas de déduire la nationalité d’un auteur.
Sujets associés
Model-Driven Software Engineering TechniquesSimulation Techniques and ApplicationsAdvanced Database Systems and Queries