%0 Conference Paper %1 journals/entcs/BodeveixF11 %A Bodeveix, Jean-Paul %A Filali, Mamoun %B B@FM %D 2011 %E Potet, Marie-Laure %E Treharne, Helen %I Elsevier %K dblp %P 23-33 %T Event B Development of a Synchronous AADL Scheduler. %U http://dblp.uni-trier.de/db/journals/entcs/entcs280.html#BodeveixF11 %V 280

@inproceedings{journals/entcs/BodeveixF11, added-at = {2023-03-10T00:00:00.000+0100}, author = {Bodeveix, Jean-Paul and Filali, Mamoun}, biburl = {https://www.bibsonomy.org/bibtex/29939475cd4571a744e5f58f313f43f88/dblp}, booktitle = {B@FM}, crossref = {conf/fm/2011b}, editor = {Potet, Marie-Laure and Treharne, Helen}, ee = {https://www.wikidata.org/entity/Q113318163}, interhash = {fbeb9f40bc4f04aefda9a300fa92c20d}, intrahash = {9939475cd4571a744e5f58f313f43f88}, keywords = {dblp}, pages = {23-33}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T13:22:23.000+0200}, title = {Event B Development of a Synchronous AADL Scheduler.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs280.html#BodeveixF11}, volume = 280, year = 2011 }