Searching for "AdaNET." – sorted by Relevance.
-
Weaving Ada 95 into the .Net Environment
- Weaving Ada 95 into the .Net Environment Martin C. Carlisle, Ricky E. Sward, and Jeffrey W
- Add To MetaCart
-
An Application Of Petri Net Reduction For Ada Tasking Deadlock Analysis
- 1 AN APPLICATION OF PETRI NET REDUCTION FOR ADA TASKING DEADLOCK ANALYSIS S. M. Shatz, Senior
- Cited by 22 (6 self) – Add To MetaCart
-
Query-Driven Petri Net Reduction for Analysis in Ada Tasking
- Post-Fusion of Transitions Rule 8 depends on the representation of Ada-nets since they explicitly use
- Cited by 1 (1 self) – Add To MetaCart
-
A Compact Petri Net Representation for Ada Tasking Programs
- representations, for the above example the Ada-net, as defined by Shatz et. al. [11], would have 21 places and 16
- Cited by 1 (0 self) – Add To MetaCart
-
Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets
- Towards Modelling and Verication of Concurrent Ada Programs Using Petri Nets A.Burns and A
- Cited by 3 (0 self) – Add To MetaCart
-
Verification in concurrent programming with Petri nets structural techniques
- modeling in term of Petri nets. Translation of Ada-tasking programs into a Petri net model called Ada-net
- Cited by 2 (0 self) – Add To MetaCart
-
unknown title
- Ada 2005 on .NET and Mobile and Embedded Devices Ada is well known for supporting good software
- Add To MetaCart
-
in Ada
- the effectiveness of various Petri net based techniques for the automated deadlock analysis of Ada programs. Our
- Cited by 23 (10 self) – Add To MetaCart
-
Double Reduction of Ada-ECATNet Representation using Rewriting Logic
- for Ada-nets analysis by using CPNs. In this work, authors translate Ada programs first to CPNs
- Add To MetaCart
-
A Compact Petri Net Representation for Concurrent Programs
- . An Ada-net [21] is a CFGPN designed to model Ada programs. An Ada-net for this example has 21 places
- Cited by 11 (2 self) – Add To MetaCart

