Old Web
English
Sign In
Acemap
>
authorDetail
>
A. Kalavade
A. Kalavade
Bell Labs
Software prototyping
Skew
Formal specification
Concurrency control
Systems architecture
2
Papers
3
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
On the performance verification of embedded systems with concurrent dynamic applications
1996
ASILOMAR | Asilomar Conference on Signals, Systems and Computers
A. Kalavade
P. Moghe
Show All
Source
Cite
Save
Citations (3)
1