5 Matching Annotations
- Mar 2021
-
en.wikipedia.org en.wikipedia.org
Tags
Annotators
URL
-
- Jul 2020
-
lamport.azurewebsites.net lamport.azurewebsites.net
-
TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones.
Need to look more into TLA+ and formal verification with regards to software development.
-
- Apr 2019
-
learntla.com learntla.com
-
- Aug 2015
-
www.adlnet.gov www.adlnet.gov
-
The TLA components align with 4 key concepts: experience tracking, learner profiles, content brokering and understanding, and competency networks.
-
The Training and Learning Architecture (TLA) encompasses a set of standardized Web service specifications and Open Source Software (OSS) designed to create a rich environment for connected training and learning.
-